Isomorfismo d'ordine

Nella teoria degli ordini, un isomorfismo d'ordine, o isotonia, è una funzione biettiva tra insiemi parzialmente ordinati, che ha la caratteristica di conservare nel codominio le relazioni d'ordine definite nel dominio. Un isomorfismo d'ordine può quindi essere considerato come una estensione del concetto di funzione monotona al di fuori dei comuni domini numerici.

Come per gli altri isomorfismi, un isomorfismo d'ordine stabilisce una relazione di equivalenza tra due insiemi ordinati, che in questo modo fanno riferimento ad una medesima struttura d'ordine, in quanto ogni elemento di un insieme diventa interscambiabile con il suo corrispondente, senza alterare le relazioni d'ordine esistenti.


Developed by StudentB